Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
931	Resource bisimilarity and graded bisimilarity coincideI Luca Aceto∗, Anna Ingolfsdottir, Joshua Sack ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland Abstract Resource Add to Reading List Source URL: www.ru.is Language: English - Date: 2010-10-27 04:45:47 Philosophical logic Category theory Theoretical computer science Modal logic Bisimulation Logic in computer science Kripke semantics F-coalgebra Monoid Mathematics Abstract algebra Logic
932	Snapshots Generation via Constructive Logic Mario Ornaghi, Camillo Fiorentini and Alberto Momigliano Universit`a degli Studi di Milano {ornaghi,fiorenti,momiglia}@dsi.unimi.it 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-07-12 12:06:13 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Diagram Foreach loop FO Constructivism Mathematics Computing Logic
933	COCV[removed]Optimisation Validation David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-13 11:03:23 Programming language theory Philosophical logic Procedural programming languages Boolean algebra ALGOL 68 Quantification Negation Logic Semantics Mathematical logic
934	PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:04 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Term Axiom Function Type theory Logic Mathematics Mathematical logic
935	Presupposed Ignorance and Exhaustification: How Scalar Implicatures and Presuppositions Interact Benjamin Spector Institut Jean Nicod, CNRS-ENS-EHESS Yasutada Sudo Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2014-10-24 14:43:49 Linguistics Philosophy of language Semantics Implicature Scalar implicature Presupposition Entailment Downward entailing Interpretation Pragmatics Logic Inference
936	Conditional progressive planning: a preliminary report Lars Karlsson Department of Technology Orebro Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:33:22 Artificial intelligence Non-classical logic Linguistic modality Semantics Logic programming Modal operator Epistemology Nils Nilsson Planner Logic Mathematical logic Modal logic
937	Preferential Action Semantics (Preliminary Report) John-Jules Ch. Meyer and Patrick Doherty Abstract In this paper, we propose a new way of considering reasoning about action and change. Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:29:17 Semantics Model theory Logic in computer science Knowledge representation Logic programming Kripke semantics Semantics of programming languages Interpretation E-Prime Logic Mathematical logic Mathematics
938	Open Research Online The Open University’s repository of research publications and other research outputs What refers? How? Book Chapter Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2014-11-12 12:48:52 Meaning Semantics Philosophical logic Analytic philosophers Sense and reference Kent Bach Reference Saul Kripke Phosphorus Philosophy Analytic philosophy Philosophy of language
939	Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:25:23 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Linear temporal logic Logic Model theory Interpretation
940	‘There’s something it’s like’ and the Structure of Consciousness Benj Hellie University of Toronto For an experience to be phenomenally conscious is for there to be Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2007-05-10 10:41:08 Predicate logic Semantics Grammar Philosophy of language First-order logic Predicate Proposition Interpretation Syntax Logic Linguistics Science

UPDATE